public class TestMinRE{
	public static void main(String[] args){
		String scriptfile = "minire_test_script.txt";
		MiniRE.main(new String[]{scriptfile});
	}
}